16 search results for "author:"François Bobot""
Showing 1 - 16
-
Stub of the C library Antic. Algebraic number0.3.2LGPL-2.1-onlyUsed by 1 other packages13 Oct 2023
-
Stub of the C library Arb. Ball approximation0.3.2LGPL-2.1-onlyUsed by 1 other packages13 Oct 2023
-
Stub of the C library Antic. For exact computation with real and complex numbers, presently in early development0.3.2LGPL-2.1-onlyUsed by 1 other packages13 Oct 2023
-
colibri2
No documentation
A CP solver for smtlib0.4LGPL-2.1-onlyUsed by 0 other packages29 Mar 2023 -
A CP solver proved in Why30.4LGPL-2.1-onlyUsed by 0 other packages29 Mar 2023
-
A library of domains and propagators proved in Why30.4LGPL-2.1-onlyUsed by 1 other packages29 Mar 2023
-
Collection of thin bindings to various low-level system API0.4.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages20 Jun 2022
-
Floating point numbers library extracted from the Flocq Coq Library0.1LGPL-2.1Used by 2 other packages30 May 2022
-
Stub of the C library Flint20.3.2LGPL-2.1-onlyUsed by 3 other packages13 Oct 2023
-
Platform dedicated to the analysis of source code written in C28.1LGPL-2.1-onlyUsed by 4 other packages04 Mar 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
oci
No documentation
OCI is a framework for continuous integrations and benchmarks. At the0.3LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Apr 2016 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 7 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024